"""
44.通配符匹配
https://leetcode-cn.com/problems/wildcard-matching

给定一个字符串 (s) 和一个字符模式 (p) ，实现一个支持 '?' 和 '*' 的通配符匹配。

'?' 可以匹配任何单个字符。
'*' 可以匹配任意字符串（包括空字符串）。
两个字符串完全匹配才算匹配成功。

说明:

s 可能为空，且只包含从 a-z 的小写字母。
p 可能为空，且只包含从 a-z 的小写字母，以及字符 ? 和 *。

示例1:
输入:
s = "aa"
p = "a"
输出: false
解释: "a" 无法匹配 "aa" 整个字符串。

示例2:
输入:
s = "aa"
p = "*"
输出: true
解释: '*' 可以匹配任意字符串。

示例3:
输入:
s = "cb"
p = "?a"
输出: false
解释: '?' 可以匹配 'c', 但第二个 'a' 无法匹配 'b'。

示例2:
输入:
s = "acdcb"
p = "a*c?b"
输出: false
"""
class Solution:
  """
  此题可以看成是两个部分:
    1. 简单匹配(只包含字母与?，s 与 p 的长度相同)
    2. * 匹配(无论 p 是什么都可以匹配)
  将 p 以 * 进行切割，则得到不包含 * 的子段列表 ps
  则：
    isMatch(s, p) == 
      isMatch(s[: len(ps[0])], ps[0]) and
      isMatch(s[-1 * len(ps[-1]) :], ps[-1]) and
      isMatch(s[j : j + len(ps[i])], ps[i])  #(i 为 in range(1, len(ps) - 1), j 使得 isMatch(s[j - len(ps[i - 1]):j], ps[i - 1]) == true), 即此处使用贪心算法，使用最小的 s 子串来(包含)匹配 ps[i])
  """
  def isMatch(self, s: str, p: str) -> bool:
    ps = p.split('*')
    # 当 p 不含 *，直接进行匹配
    if len(ps) == 1:
      return len(s) == len(p) and self._isMatch(s, p)
    
    si = 0
    ei = len(s)

    # and isMatch(s[: len(ps[0])], ps[0])
    if not (ei >= len(ps[0]) and self._isMatch(s[: len(ps[0])], ps[0])):
      return False
    si = len(ps[0])

    # and isMatch(s[-1 * len(ps[-1]) :], ps[-1])
    if not (ei - si >= len(ps[-1]) and self._isMatch(s[ei - len(ps[-1]) :], ps[-1])):
      return False
    ei = ei - len(ps[-1])

    # and isMatch(s[j : j + len(ps[i])], ps[i])
    for pp in ps[1 : -1]:
      pl = len(pp)
      for i in range(si, ei - pl + 1):
        if self._isMatch(s[i : i + pl], pp):
          si = i + pl
          break
      else:
        return False

    return True

  def _isMatch(self, s: str, p: str) -> bool:
    """
    p 不含 *
    len(s) == len(p)
    """
    for i, v in enumerate(p):
      if v != '?' and v != s[i]:
        return False
    return True
